1. Based Program Synthesis and Transformation-Logic

پدیدآورنده :

کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS

رده :
E-BOOK

2. Logic-Based Program Synthesis and Transformation

پدیدآورنده :

کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)

موضوع : Logic programming -- Congresses.,Computer logic -- Congresses,Computer software -- Development -- Congresses.,برنامه‌نویسی منطقی -- کنگره‌ها ,منطق کامپیوتری -- کنگره ها ,نرم‌افزار -- تولید -- کنگره ها

رده :
QA
76
.
63
.
L6
2015
E-Book
,

3. Static Analysis :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Computer science.,Logic design.,Software engineering.